[38;2;248;248;242mx [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m

[38;2;248;248;242my [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242mx[0m

[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242my[0m[38;2;248;248;242m)[0m

[38;2;248;248;242mf[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114m+[0m[38;2;248;248;242m x[0m


[38;2;248;248;242mf[0m

[38;2;248;248;242mf[0m[38;2;248;248;242m([0m[38;2;190;132;255m10[0m[38;2;248;248;242m)[0m


[38;2;249;38;114mfunction[0m[38;2;248;248;242m [0m[38;2;166;226;46mg[0m[38;2;248;248;242m([0m[38;2;248;248;242mx[0m[38;2;248;248;242m,[0m[38;2;248;248;242m y[0m[38;2;248;248;242m)[0m
[38;2;248;248;242m    z [0m[38;2;249;38;114m=[0m[38;2;248;248;242m x [0m[38;2;249;38;114m+[0m[38;2;248;248;242m y[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m z[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m
[38;2;249;38;114mend[0m

[38;2;248;248;242mg[0m[38;2;248;248;242m([0m[38;2;190;132;255m1[0m[38;2;248;248;242m, [0m[38;2;190;132;255m2[0m[38;2;248;248;242m)[0m

[38;2;249;38;114mlet[0m[38;2;248;248;242m s [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m
[38;2;248;248;242m        s [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m i    [0m[38;2;117;113;94m#[0m[38;2;117;113;94m Equivalent to s = s + i[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mend[0m
[38;2;248;248;242m    s[0m
[38;2;249;38;114mend[0m


[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m[38;2;248;248;242m)[0m

[38;2;249;38;114mfunction[0m[38;2;248;248;242m [0m[38;2;166;226;46mmysum[0m[38;2;248;248;242m([0m[38;2;248;248;242mn[0m[38;2;248;248;242m)[0m
[38;2;248;248;242m    s [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m0[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;248;248;242mn[0m
[38;2;248;248;242m        s [0m[38;2;249;38;114m+=[0m[38;2;248;248;242m i[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mend[0m
[38;2;248;248;242m    [0m[38;2;249;38;114mreturn[0m[38;2;248;248;242m s[0m
[38;2;249;38;114mend[0m

[38;2;248;248;242mmysum[0m[38;2;248;248;242m([0m[38;2;190;132;255m100[0m[38;2;248;248;242m)[0m

[38;2;248;248;242ma [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m3[0m

[38;2;248;248;242ma [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m

[38;2;249;38;114mif[0m[38;2;248;248;242m a [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m5[0m
[38;2;248;248;242m    [0m[38;2;230;219;116m"[0m[38;2;230;219;116msmall[0m[38;2;230;219;116m"[0m
[38;2;249;38;114melse[0m
[38;2;248;248;242m    [0m[38;2;230;219;116m"[0m[38;2;230;219;116mbig[0m[38;2;230;219;116m"[0m
[38;2;249;38;114mend[0m

[38;2;248;248;242mv [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m, [0m[38;2;190;132;255m2[0m[38;2;248;248;242m, [0m[38;2;190;132;255m3[0m[38;2;248;248;242m][0m

[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242mv[0m[38;2;248;248;242m)[0m

[38;2;248;248;242mv[0m[38;2;248;248;242m[[0m[38;2;190;132;255m2[0m[38;2;248;248;242m][0m

[38;2;248;248;242mv[0m[38;2;248;248;242m[[0m[38;2;190;132;255m2[0m[38;2;248;248;242m][0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255m10[0m

[38;2;248;248;242mv[0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;248;248;242mi[0m[38;2;249;38;114m^[0m[38;2;190;132;255m2[0m[38;2;248;248;242m [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m10[0m[38;2;248;248;242m][0m

[38;2;248;248;242mM [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242m[[0m[38;2;190;132;255m1[0m[38;2;248;248;242m [0m[38;2;190;132;255m2[0m
[38;2;248;248;242m     [0m[38;2;190;132;255m3[0m[38;2;248;248;242m [0m[38;2;190;132;255m4[0m[38;2;248;248;242m][0m

[38;2;248;248;242mtypeof[0m[38;2;248;248;242m([0m[38;2;248;248;242mM[0m[38;2;248;248;242m)[0m

[38;2;248;248;242mzeros[0m[38;2;248;248;242m([0m[38;2;190;132;255m5[0m[38;2;248;248;242m, [0m[38;2;190;132;255m5[0m[38;2;248;248;242m)[0m

[38;2;248;248;242mzeros[0m[38;2;248;248;242m([0m[38;2;248;248;242mInt, [0m[38;2;190;132;255m4[0m[38;2;248;248;242m, [0m[38;2;190;132;255m5[0m[38;2;248;248;242m)[0m

[38;2;248;248;242m[[0m[38;2;248;248;242mi [0m[38;2;249;38;114m+[0m[38;2;248;248;242m j [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m i [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m5[0m[38;2;248;248;242m, j [0m[38;2;249;38;114min[0m[38;2;248;248;242m [0m[38;2;190;132;255m1[0m[38;2;249;38;114m:[0m[38;2;190;132;255m6[0m[38;2;248;248;242m][0m
